\begin{proof}
  #select##insertion#
\end{proof}

